تعداد ۲ پاسخ غیر تکراری از ۲ پاسخ تکراری در مدت زمان ۳,۵۶ ثانیه یافت شد.

1. Hilbert's tenth problem

پدیدآورنده : / Yuri V. Matiyasevich

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Hilbert's tenth problem,Computable functions

رده :

QA242

.

M4213

1993

2. Logical foundations of computer science : third international symposium, LFCS 94, St. Petersburg, Russia, July 11-14, 1994 : proceedings

پدیدآورنده : A. Nerode, Yuri V. Matiyasevich, eds

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Computer science - Congresses , Logic, Symbolic and mathematical - Congresses

رده :

QA

75

.

5

.

L64

1994

»
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است